ISRFORT Property  arbitrary first-order formula over rewrite relations as predicates

Source URL: www.win.tue.nl

On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

Source URL: folk.uio.no

• Theoretical computer science
• Mathematics
• Programming language theory
• Logic in computer science
• Mathematical logic
• Asymptotic analysis
• Logic programming
• Type theory
• Unification
• Rewriting
• Rewrite order
• Term

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨

Source URL: www.dcs.bbk.ac.uk

• Theoretical computer science
• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Nqthm
• Rewrite order
• Symbol

Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting —

Source URL: sunsite.informatik.rwth-aachen.de

• Logic in computer science
• Logic programming
• Automated theorem proving
• Formal languages
• Type theory
• Substitution
• Unification
• Admissible rule
• Futures and promises
• Rewrite order
• Rewriting
• Symbol

Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009

Source URL: www.cs.ru.nl

• Theoretical computer science
• Mathematics
• Logic
• Mathematical logic
• Formal languages
• Logic in computer science
• Automated theorem proving
• Logic programming
• Rewriting
• Confluence
• Rewrite order
• Substitution

THE COMPLEXITY OF THE FIRST-ORDER THEORY OF GROUND TREE REWRITE GRAPHS ¨ STEFAN GOLLER AND MARKUS LOHREY Universit¨at Bremen, Germany

Source URL: www.informatik.uni-bremen.de

• Formal languages
• Automata theory
• Tree decomposition
• Graph
• Tree
• Structure
• Rewriting
• Binary tree
• Matching
• Mathematics
• Graph theory
• Theoretical computer science

Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department of Computer Science

Source URL: www.cs.ust.hk

• Predicate logic
• Model theory
• Quantification
• First-order logic
• Structure
• Integration by substitution
• FO
• Function
• Abductive logic programming
• Logic
• Mathematics
• Mathematical logic

ZONING COMMISSION FOR THE DISTRICT OF COLUMBIA ZONING COMMISSION ORDER NO[removed]A Z.C. Case No[removed]Comprehensive Zoning Regulations Rewrite: Chapter B-2 Use Category Regulations) February 7, 2011 The Zoning Commissi

Source URL: www.communicationsmgr.com

• Real property law
• Legal terms
• United States administrative law
• Special-use permit
• Gross floor area
• Rulemaking
• Eminent domain
• Land law
• Zoning in the United States
• Zoning
• Law
• Real estate

DHS-Eligibility Rewrite EOPC Meeting Minutes State of North Dakota MEETING MINUTES The Executive Order[removed]Procurement Committee of the Department of Human Services (DHS) Eligibility

Source URL: www.nd.gov

• Huggett
• Broström